ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР

-линейный дифференциальный или псевдодифференциальный оператор с обратимым главным символом (см. Символ оператора).
Пусть А- дифференциальный или псевдодифференциальный оператор (вообще говоря, матричный) на области ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №1 с главным символом ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №2 Если А- оператор порядка т, то ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №3 -матричная функция на ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №4 положительно однородная порядка тпо переменному ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №5 Тогда эллиптичность означает, что ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №6 -обратимая матрица при всех ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №7ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №8 Это понятие эллиптичности наз. эллиптичностью по Петровскому.
Другой вид эллиптичности, эллиптичность по Дуглису - Ниренбергу, предполагает, что А- матричный оператор, ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №9 где ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №10 -оператор порядка sj - ti,(s1,..., sd) и (t1,..., td) - нек-рые наборы действительных чисел. Тогда можно образовать матрицу главных символов ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №11 где функция ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №12 положительно однородна по ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №13 порядка sj-ti.Тогда эллиптичность по Дуглису - Ниренбергу означает, что матрица ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №14 обратима при всех ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №15
Эллиптичность оператора Ана многообразии означает эллиптичность операторов, к-рые получаются из него при его записи в локальных координатах. Равносильным образом эту эллиптичность можно описать как обратимость главного символа ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №16 к-рый является функцией на ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №17 где Т*Х - кокасательное расслоение к ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №18- то же расслоение без нулевого сечения. Если оператор Адействует в сечениях векторных расслоений ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №19 то эллиптичность оператора означает обратимость линейного оператора ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №20 для любой точки ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №21 (здесь Е х, Fx- слои расслоений Еи . в точке x). Примером Э. о. является Лапласа оператор.
Эллиптичность оператора равносильна отсутствию у него действительных характеристич. направлений. Эллиптичность можно также понимать микролокально. А именно, эллиптичность оператора Ав точке ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №22 означает обратимость матрицы (линейного отображения) ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №23
Эллиптичность псевдодифференциального оператора на многообразии с краем (напр., оператора из алгебры Бутеде Монвеля [10], [11]) в граничной точке означает обратимость нек-рого модельного оператора граничной задачи на полуоси. Этот модельный оператор получается из исходного выпрямлением границы, замораживанием коэффициентов главных частей оператора и граничных условий в рассматриваемой точке и взятием преобразования Фурье по касательным направлениям (от ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №24 с последующим фиксированием ненулевого вектора ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №25 к-рый можно рассматривать как кокаса тельный вектор к границе. В случае дифференциального оператора и дифференциальных граничных условий описанное условие эллиптичности может быть записано в алгебраич. терминах. В этом случае (а также иногда и в общем случае) это условие часто наз. условием Шапиро - Лопатинского, или условием коэрцитивности.
Наиболее характерными свойствами Э. о. являются: 1) свойства регулярности решений соответствующих уравнений; 2) точные априорные оценки; 3) фредгольмовость Э. о. на компактных многообразиях.
Ниже, для простоты, коэффициенты и символы всех операторов считаются бесконечногладкими.
Пусть дано уравнение Au=f, где А - Э. то ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №26 Это свойство верно для любых дифференциальных Э. о. с гладкими коэффициентами или псевдодифференциальных Э. о. (с гладкими символами). Оно верно и для Э. о. краевой задачи (т. е. верно вплоть до границы при выполнении условия Шапиро - Лопатинского). Уточнением этого свойства является его микролокальный вариант: если оператор Аэллиптичен в точке ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №27 (здесь x0- внутренняя точка X)и ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №28 то ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №29 где WF означает фронт волновой (распределения или функции). Другое уточнение: если А- Э. о. порядка ти ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №30 то ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №31 где ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №32 - Соболева пространство, ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №33 Если А - дифференциальный Э. о. с аналитич. оэффициентами, то из аналитичности f вытекает аналитичность и(в случае уравнений с постоянными коэффициентами это свойство необходимо и достаточно для эллиптичности). Соответствующий микролокальный вариант также справедлив и формулируется на языке аналитических волновых фронтов.
Локальная априорная оценка для Э. о. . порядка тимеет вид

ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №34

где ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №35 и ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №36 - две области в ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №37 причем ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №38- компакт, принадлежащий ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №39Au=f в ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №40 постоянная Сне зависит от и(но может зависеть от ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №41
Глобальная априорная оценка для Э. о. . порядка тна компактном многообразии Xбез края имеет тот же вид, что и (1), но с заменой ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №42и ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №43 на X. В случае многообразия с краем вместо норм пространств ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №44 в (1) нужно взять нормы, учитывающие структуру вектор-функций ии f (содержащих, вообще говоря, граничные компоненты). Напр., пусть на компактном многообразии X с краем Yзадан Э. о. вида ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №45 где А -- эллиптический дифференциальный оператор порядка т, В j - дифференциальные операторы порядков mj, причем mj и выполнено условие Шапиро - Лопатинского (для оператора Аи системы граничных операторов B1, . . ., В r). Тогда априорная оценка в пространствах Соболева ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №46 имеет вид
ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №47

где ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №48 - норма в пространстве ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №49 - норма в пространстве ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР фото №50 и постоянная С>0 не зависит от и(но может зависеть от A, Bj, s, X, Y и выбора норм в пространствах Соболева).
Э. о. на компактном многообразии (возможно, с краем) определяет фредгольмов оператор в соответствующих соболевских пространствах, а также в пространствах бесконечно дифференцируемых функций. Его индекс зависит лишь от главного символа и не меняется при непрерывных деформациях главного символа. Это позволяет поставить вопрос о вычислении индекса (см. Индекса формулы).
Важную роль играют Э. о. с параметром (см. [12]). При выполнении условия эллиптичности с параметром на компактном многообразии при больших по модулю значениях параметра рассматриваемый Э. о. оказывается обратимым, причем в глобальной априорной оценке типа (1) можно опустить последний член (младшую норму и в правой части).

Лит.:[1] Петровский И. Г., Лекции об уравнениях с частными производными, 3 изд., М., 1961; [2] Миранда К., Уравнения с частными производными эллиптического типа, пер. с итал., М., 1957; [3] Ладыженская О. А., Уральцева Н. Н., Линейные и квазилинейные уравнения эллиптического типа, М., 1973; [4] Лионс Ж. Л., Мадженес Э., Неоднородные граничные задачи и их приложения, пер. с франц., М., 1971; [5] Берс Л., Джон Ф., Шехтер М., Уравнения с частными производными, пер. с англ., М., 1966; [6] Агмон С., Дуглис А., Ниренберг Л., Оценки вблизи границы решений эллиптических уравнений в частных производных при общих граничных условиях, пер. с англ., М., 1962; [7] Хермандер Л., Линейные дифференциальные операторы с частными производными, пер. с англ., М., 1965; [8] Шубин М. А., Псевдодифференциальные операторы и спектральная теория, М., 1978; [9] Палей Р., Семинар по теореме Атьи-Зингера об индексе, пер. с англ., М., 1970; [10] Rempel S., Schulze В. W., Index theory of elliptic boundary problems, В., 1982; [11] Boutet de Monvel L., лActa main..

Смотреть больше слов в «Математической энциклопедии»

ЭЛЛИПТИЧЕСКИЙ ПАРАБОЛОИД →← ЭЛЛИПТИЧЕСКИЙ ИНТЕГРАЛ

Смотреть что такое ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР в других словарях:

ЭЛЛИПТИЧЕСКИЙ ОПЕРАТОР

еліпти́чний опера́тор

T: 146